Countably compact topological group topologies on free Abelian groups from selective ultrafilters

Tkachenko showed in 1990 the existence of a countably compact group topology on the free Abelian group of size c using CH. Koszmider, Tomita and Watson showed in 2000 the existence of a countably compact group topology on the free Abelian group of size c² using a forcing model in which CH holds.Wallace's question from 1955, asks whether every both-sided cancellative countably compact semigroup is a topological group. A counterexample to Wallace's question has been called a Wallace semigroup. In 1996, Robbie and Svetlichny constructed a Wallace semigroup under CH. In the same year, Tomita constructed a Wallace semigroup from MAcountable.In this note, we show that the examples of Tkachenko, Robbie and Svetlichny, and Koszmider, Tomita and Watson can be obtained using a family of selective ultrafilters. As a corollary, the constructions presented here are compatible with the total failure of Martin's Axiom.     

Involutions for upper triangular matrix algebras

In this paper we describe completely the involutions of the first kind of the algebra UT_n(F) of n×n upper triangular matrices. Every such involution can be extended uniquely to an involution on the full matrix algebra. We describe the equivalence classes of involutions on the upper triangular matrices. There are two distinct classes for UT_n(F) when n is even and a single class in the odd case.Furthermore we consider the algebra UT₂(F) of the 2×2 upper triangular matrices over an infinite field F of characteristic different from 2. For every involution *, we describe the *-polynomial identities for this algebra. We exhibit bases of the corresponding ideals of identities with involution, and compute the Hilbert (or Poincaré) series and the codimension sequences of the respective relatively free algebras.Then we consider the *-polynomial identities for the algebra UT₃(F) over a field of characteristic zero. We describe a finite generating set of the ideal of *-identities for this algebra. These generators are quite a few, and their degrees are relatively large. It seems to us that the problem of describing the *-identities for the algebra UT_n(F) of the n×n upper triangular matrices may be much more complicated than in the case of ordinary polynomial identities.     

Spectral Properties of Four-Dimensional Compact Flat Manifolds

We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on p-forms, we determine all p-isospectral and L-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on p-forms for all values of p are equivalent to each other. The list shows for any p, 1 ≤ p ≤ 3, many p-isospectral pairs that are not isospectral on functions and have different lengths of closed geodesics. We also determine all length isospectral pairs (i.e. with the same length multiplicities), showing that there are two weak length isospectral pairs that are not length isospectral, and many pairs, p-isospectral for all p and not length isospectral. Mathematics Subject Classifications (2000): 58J53, 58C22, 20H15.     

Quantum Conservative Gates for Finite-Valued Logics

We introduce some conservative gates for finite-valued logics which are able to realize all the main connectives of the many-valued logics of ?ukasiewicz, the MV-algebras of Chang and Brower–Zadeh algebras. After a brief exposition of the motivations for this work, the gates are defined and their properties are explored. Finally, a possible quantum realization of them is proposed, using three techniques: a “brute force” method--an extension of the Conditional Quantum Control argument, and a new technique which we call the Constants Method. For all these techniques, the unitary operator which describes the gate is a sum of local operators.     

Applications of density functional theory methods in millimeter‐wave spectroscopy

Density functional theory (DFT), using the most common functionals, and ab initio quantum chemistry methods are used to calculate the rotational constants and dipole moments of the astrophysically important molecules HCN, CH₃CN, CH₃CNH⁺, HCCCN, and HCCNC. As far as millimeter‐wave spectroscopy is of interest the DFT methods performed well with most functionals, giving results within ±1% of experiments for rotational constants and ±3% for dipole moments. Analyzing the results obtained with all theoretical models, it may be concluded that the Becke's three‐parameter exchange functional and the gradient‐corrected functional of Lee, Yang, and Paar (B3LYP) and Becke's three‐parameter functional with Perdew–Wang correlational functional [B3PW91/6‐31G(d, p)] give the best performances. A detailed analysis of the electron correlation effects shows that HCCCN is more stable than is HCCNC, by 1.16 eV, with important contribution arising from triple excitations. This result is also compared with those obtained with DFT methods. Despite occasional difficulties, DFT with the currently available functionals are of great utility in quickly assessing spectroscopic parameters of astrophysical interest. © 2002 Wiley Periodicals, Inc. Int J Quantum Chem, 2003     

Gelation of poly(n-butylisocyanate) in benzene

Poly (n-butylisocyanate)-benzene solutions prepared by solubilization at 45°C, followed by aging at room temperature were found to be metastable for months, although, eventually, they separated into a birefringent polymer-rich phase and an isotropic solution. These metastable solutions, as well as isothermally phase-separated biphasic samples, flowed and exhibited dynamic moduli indicative of low polymer connectivity. By contrast samples prepared by a freeze-thaw cycle were uniformly and highly birefringent and showed network (gel) behavior at room temperature. The mechanism of gel formation is most likely the exclusion of the polymer from the benzene crystal during crystallization, forcing the polymer to align and exist at grain boundaries. Films formed from solutions have different moduli than those formed from gels, and are consistent with the proposed mechanism.     

Maximum Principles for Infinite Dimensional Diffusion Equations

In this paper we prove the validity of the Maximum Principle for some class of elliptic and parabolic equations of diffusion type in infinite dimension. The main tools are Asplund’s theorem and Preiss’ theorem on differentiability of Lipschitz functions in Banach space.      

Practical aspects associated with location planning for maternal and perinatal assistance in Brazil

A study has been carried out aimed at reducing perinatal mortality in the municipality of Rio de Janeiro through a better distribution of health care facilities. The algorithmic aspects are detailed elsewhere and here the emphasis is on practical issues and difficulties encountered. A 3-level hierarchical model was developed. Both uncapacitated and capacitated versions are briefly described together with some results based on actual data. The project brought to light many contradictions between OR theory and practice in developing countries and, unfortunately, the models developed were not implemented by the municipality health authorities. Possible reasons for this outcome are analysed.     

An Introduction to Constant Curvature Spaces in the Commutative (Segre) Quaternion Geometry

It is known that complex numbers can be associated with plane Euclidean geometry and their functions are successfully used for studying extensions of Euclidean geometry, i.e., non-Euclidean geometries and surfaces differential geometry. In this paper we begin to study the constant curvature spaces associated with the geometry generated by commutative elliptic-quaternions and we show how the “mathematics” they generate allows us to introduce these spaces and obtain the geodesic equations without developing a complete mathematical apparatus as the one developed for Riemannian geometry.